21. Logic and structure
پدیدآورنده: Dirk van Dalen.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: mathematical logic
رده :
QA
9
.
D3
,
L6
22. Mystic, geometer, and intuitionist :
پدیدآورنده: / Dirk van Dale
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Brouwer, L. E. J. , (Luitzen Egbertus Jan), , 1881-1966,Mathematicians , Netherlands , Biography
رده :
E-BOOK
23. Mystic, geometer, and intuitionist: the life of L. E. J. Brouwer
پدیدآورنده: Dalen, D. van )Dirk(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Brouwer, L. E. J.)Luitzen Egbertus Jan(, 1881-6691,Biography ، Mathematicians-- Netherlands
رده :
QA
29
.
B697
.
D35
1999
24. Sets : naive, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
پدیدآورنده: Dalen, D. van )Dirk(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Set theory,، Axiomatic set theory
رده :
QA
248
.
D2341
1978
25. Sets : naive, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
پدیدآورنده: Dalen, D. van)Dirk(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Set theory,، Axiomatic set theory
رده :
QA
248
.
D23413
1978
26. The L.E.J. Brouwer Centenary Symposium
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: 1966. ; Constructive mathematics ; Congresses. ; Intuitionistic mathematics ; Congresses. ; -Brouwer, L. E. J. ; (Luitzen Egbertus Jan), ; 1881
27. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده: edited by A.S. Troelstra and D. Van Dalen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
